Soft Assertion